面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Crystal orientation and morphology of a lamellae in wrought titanium alloys: On the role of microstructure evolution in b processing

To obtain high-quality aviation forgings of titanium alloys, b forging is an essential processing step which must be considered throughout a production process. In this work, the effect of b forging on the crystal orientation and morphology of lamellar a was experimentally investigated in a two-phase titanium alloy. Strong dynamic recovery during b working resulted in the formation of low-angle grain boundary(LAGBb) inside b grains. The lamellar a can penetrate through the LAGBb, leading to similar intra a LAGBs on subgrain boundaries. Deformation banding occurs at high strain rates, and both diffusive and sharp boundaries of deformation bands can be observed.A continuous change of the b orientation in diffusive boundaries results in the formation of fine and disordered a lamellae without intra-lamellar boundary to hold the Burgers orientation relationship(OR). On sharp boundaries, it is prone to producing continuous grain boundary a(aGB) with a highly similar orientation along the boundaries. Meanwhile, there may exist several lower-angle boundaries within the grain boundary a for a smoother orientation change on the b grain boundary.     

一种未来大型天地往返运输系统平台气动方案

针对未来低运行成本、可直接水平起降、重复使用的大型天地往返运输系统平台飞行器研制所需重点解决的全速域气动力性能需求与气动热防护匹配等难题，分析了典型航天飞机方案所存在的能量运行缺陷等主要问题及可能的改善方案。基于放宽气动热防护设计、涡轮/冲压/火箭发动机三动力组合、嵌套式旋转机翼全速域变体、在爬升阶段将飞行动能转化为高度势能以及再入阶段“跳跃式”盘旋减速飞行轨迹控制等设计思想，从能量损失速率控制和回收利用等角度出发，开展了一种新型大型天地往返运输系统平台气动布局概念设计研究。全速域气动力/热性能工程估算以及内/外流整体气动效能初步分析结果表明，该方案可有效满足整个飞行包线内的升重平衡需求，相比航天飞机方案具有显著的整体气动效能优势，值得进一步开展深入研究。     

无人水面艇海洋调查国内应用进展与展望

针对浅水区、污染区、极地等复杂海洋环境，传统海洋调查手段劳动强度高、安全风险大、作业效率低。无人水面艇具备无人、高效等特点，非常适合在上述复杂海洋环境中作业，并于近年来在海洋调查领域中得到了快速发展与广泛应用。从海洋调查领域中无人水面艇的优势、国内外典型的无人水面艇和应用案例入手，深入分析了我国无人水面艇海洋调查的现状，并对未来的技术发展方向进行了展望。实践表明，应用无人水面艇进行海底地形地貌调查的技术已基本成熟，水深数据质量和自主导航精度均可满足规范要求。在未来，须将无人水面艇的应用进一步扩展至物理海洋、海洋生物、海洋化学等专业领域，并加快研制基于可再生能源的长航程无人水面艇，以开展全球性海洋调查。     

面向立方星的相对位姿测量视觉传感器设计

针对立方星在轨服务任务中的近距离相对导航问题，提出一种相对位姿测量视觉传感器设计。为应对空间复杂的光照条件，设计一种具有多层结构的立体靶标，选取波长为850nm的LED灯作为立体靶标的光源。在相机镜头处安装850nm的红外窄带滤镜以提高立体靶标成像质量。为提高视觉传感器的测量精度，提出一种迭代直接求解(iterative direct solution, IDS)的相对位姿估计算法。该算法直接利用立体靶标上的非共面点提供的深度信息获得初始相对位姿，然后引入Haralick迭代算法来优化初始测量结果。搭建六自由度实验平台对该视觉传感器进行性能测试。实验结果表明,该视觉传感器能克服背景光的干扰，且提出的 IDS相对位姿估计算法的精度优于经典的P3P算法和EPnP算法。     

一种基于OPTICS聚类的仅测角导航目标检测算法

仅测角自主导航方法具有设备简单、复杂度低，功耗低的优点，在空间任务中具有广泛的应用前景.针对中远距离下空间目标特征少的特点，提出了一种利用基于OPTICS聚类算法的空间目标检测方法，可用于仅测角导航过程中的目标检测.对原始星图进行预处理提取星点及目标点，并结合星图识别的结果选择部分帧，使用经过改进的OPTICS聚类方法获得目标运动轨迹.最后，使用本文中的算法对软件仿真出的含有目标的高精度星图进行处理验证了算法的可行性.在卫星相对于空间目标抵近过程中，目标检测的水平误差及垂直误差小于0.15°的帧数分别占到了85.4%以及99.6%.相比AVANTI实验中的目标检测方法，减少了在轨任务中相关参数的调节，进一步提升了算法的自主性.     

具有复杂围护结构光学窗口的传热特性分析

针对具有复杂围护结构光学窗口传热特性,建立了高热流作用下的光学窗口及其复杂围护结构的辐射-导热传热模型,分别讨论了窗口的辐射半透明、光谱选择性、外部加热热流以及窗口尺寸对其瞬态温度响应的影响。结果表明,忽略窗口半透明特征会产生最大31.4%误差,忽略光谱选择性会产生最大40.4%误差;窗口外部气动加热热流影响显著,温度响应随热流的增大而急剧增大;窗口厚度对其传热特性的影响较大,随着厚度的增大窗口温度响应减小;而窗口半径产生的影响可忽略不计。     

Research on navigation of satellite constellation based on an asynchronous observation model using X-ray pulsar

Pulsar navigation is a promising navigation method for high-altitude orbit space tasks or deep space exploration. At present, an important reason for restricting the development of pulsar navigation is that navigation accuracy is not high due to the slow update of the measurements. In order to improve the accuracy of pulsar navigation, an asynchronous observation model which can improve the update rate of the measurements is proposed on the basis of satellite constellation which has a broad space for development because of its visibility and reliability. The simulation results show that the asynchronous observation model improves the positioning accuracy by 31.48% and velocity accuracy by 24.75% than that of the synchronous observation model. With the new Doppler effects compensation method in the asynchronous observation model proposed in this paper, the positioning accuracy is improved by 32.27%, and the velocity accuracy is improved by 34.07% than that of the traditional method. The simulation results show that without considering the clock error will result in a filtering divergence.     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架，它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先，本文介绍了联邦学习的基本概念和威胁模型，有助于理解其面临的攻击。其次，本文总结了由内部恶意实体发起的3种攻击类型，同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较，进一步讨论了该领域未来的发展方向。     

同轴离心式喷嘴热声不稳定性递归分析

为获得同轴离心式喷嘴燃烧动力学特性，开展了喷注单元稳定性试验研究。试验中燃料流量不变，随氧化剂流量增加，热声系统依次经历了燃烧噪声状态、阵发状态和准周期振荡状态。采用递归方法对实验结果进行分析。首先，利用交互信息法和虚假最邻近法分别求解最优延迟时间和嵌入维数，获得了典型工况下的相空间轨迹图。其次，递归图分析表明系统出现了第II类阵发现象，意味着系统发生了亚临界Hopf分叉，与实验结果一致。最后，递归量化分析表明，确定率可以将阵发状态和准周期振荡状态与燃烧噪声状态区分出来，并可以对热声振荡进行预报。